# FILE NAME: 00007-00000023.toc
# TITLE: ERS Set 23
# DESCRIPTION: Obtained from the soi by adding the unranked alternatives at the bottom
# DATA TYPE: toc
# MODIFICATION TYPE: imbued
# RELATES TO: 00007-00000023.soi
# RELATED FILES: 
# PUBLICATION DATE: 2013-08-17
# MODIFICATION DATE: 2022-09-16
# NUMBER ALTERNATIVES: 15
# NUMBER VOTERS: 981
# NUMBER UNIQUE ORDERS: 727
# ALTERNATIVE NAME 1: Candidate 1
# ALTERNATIVE NAME 2: Candidate 2
# ALTERNATIVE NAME 3: Candidate 3
# ALTERNATIVE NAME 4: Candidate 4
# ALTERNATIVE NAME 5: Candidate 5
# ALTERNATIVE NAME 6: Candidate 6
# ALTERNATIVE NAME 7: Candidate 7
# ALTERNATIVE NAME 8: Candidate 8
# ALTERNATIVE NAME 9: Candidate 9
# ALTERNATIVE NAME 10: Candidate 10
# ALTERNATIVE NAME 11: Candidate 11
# ALTERNATIVE NAME 12: Candidate 12
# ALTERNATIVE NAME 13: Candidate 13
# ALTERNATIVE NAME 14: Candidate 14
# ALTERNATIVE NAME 15: Candidate 15
30: 6,5,4,11,7,10,12,13,8,9,14,15,{1,2,3}
14: 6,{1,2,3,4,5,7,8,9,10,11,12,13,14,15}
13: 4,{1,2,3,5,6,7,8,9,10,11,12,13,14,15}
13: 8,{1,2,3,4,5,6,7,9,10,11,12,13,14,15}
11: 2,{1,3,4,5,6,7,8,9,10,11,12,13,14,15}
8: 8,11,{1,2,3,4,5,6,7,9,10,12,13,14,15}
6: 8,5,11,9,{1,2,3,4,6,7,10,12,13,14,15}
6: 6,8,14,{1,2,3,4,5,7,9,10,11,12,13,15}
6: 2,7,{1,3,4,5,6,8,9,10,11,12,13,14,15}
6: 8,6,{1,2,3,4,5,7,9,10,11,12,13,14,15}
6: 14,{1,2,3,4,5,6,7,8,9,10,11,12,13,15}
5: 8,11,5,{1,2,3,4,6,7,9,10,12,13,14,15}
5: 8,12,{1,2,3,4,5,6,7,9,10,11,13,14,15}
5: 6,8,{1,2,3,4,5,7,9,10,11,12,13,14,15}
5: 5,{1,2,3,4,6,7,8,9,10,11,12,13,14,15}
5: 11,{1,2,3,4,5,6,7,8,9,10,12,13,14,15}
4: 1,3,13,{2,4,5,6,7,8,9,10,11,12,14,15}
4: 6,8,11,{1,2,3,4,5,7,9,10,12,13,14,15}
4: 6,8,12,{1,2,3,4,5,7,9,10,11,13,14,15}
4: 6,11,14,{1,2,3,4,5,7,8,9,10,12,13,15}
4: 8,6,14,{1,2,3,4,5,7,9,10,11,12,13,15}
4: 12,{1,2,3,4,5,6,7,8,9,10,11,13,14,15}
3: 8,11,5,9,{1,2,3,4,6,7,10,12,13,14,15}
3: 8,5,9,11,{1,2,3,4,6,7,10,12,13,14,15}
3: 4,6,5,{1,2,3,7,8,9,10,11,12,13,14,15}
3: 6,4,11,{1,2,3,5,7,8,9,10,12,13,14,15}
3: 6,8,4,{1,2,3,5,7,9,10,11,12,13,14,15}
3: 6,4,8,{1,2,3,5,7,9,10,11,12,13,14,15}
3: 4,6,8,{1,2,3,5,7,9,10,11,12,13,14,15}
3: 11,14,6,{1,2,3,4,5,7,8,9,10,12,13,15}
3: 5,6,8,{1,2,3,4,7,9,10,11,12,13,14,15}
3: 8,6,12,{1,2,3,4,5,7,9,10,11,13,14,15}
3: 11,6,4,{1,2,3,5,7,8,9,10,12,13,14,15}
3: 8,6,11,{1,2,3,4,5,7,9,10,12,13,14,15}
3: 2,7,9,{1,3,4,5,6,8,10,11,12,13,14,15}
3: 8,5,{1,2,3,4,6,7,9,10,11,12,13,14,15}
3: 6,11,{1,2,3,4,5,7,8,9,10,12,13,14,15}
3: 14,8,{1,2,3,4,5,6,7,9,10,11,12,13,15}
3: 2,1,{3,4,5,6,7,8,9,10,11,12,13,14,15}
3: 8,14,{1,2,3,4,5,6,7,9,10,11,12,13,15}
3: 3,{1,2,4,5,6,7,8,9,10,11,12,13,14,15}
3: 9,{1,2,3,4,5,6,7,8,10,11,12,13,14,15}
3: 7,{1,2,3,4,5,6,8,9,10,11,12,13,14,15}
3: 1,{2,3,4,5,6,7,8,9,10,11,12,13,14,15}
2: 6,5,4,14,7,10,12,13,8,9,11,15,{1,2,3}
2: 6,4,8,12,11,14,3,5,13,{1,2,7,9,10,15}
2: 6,4,10,14,7,5,8,11,{1,2,3,9,12,13,15}
2: 9,10,12,6,14,13,1,{2,3,4,5,7,8,11,15}
2: 11,4,14,7,8,3,{1,2,5,6,9,10,12,13,15}
2: 8,5,6,11,{1,2,3,4,7,9,10,12,13,14,15}
2: 8,5,11,12,{1,2,3,4,6,7,9,10,13,14,15}
2: 6,5,8,11,{1,2,3,4,7,9,10,12,13,14,15}
2: 11,6,5,8,{1,2,3,4,7,9,10,12,13,14,15}
2: 8,11,9,5,{1,2,3,4,6,7,10,12,13,14,15}
2: 11,5,6,14,{1,2,3,4,7,8,9,10,12,13,15}
2: 11,5,6,{1,2,3,4,7,8,9,10,12,13,14,15}
2: 8,14,5,{1,2,3,4,6,7,9,10,11,12,13,15}
2: 11,4,6,{1,2,3,5,7,8,9,10,12,13,14,15}
2: 5,11,6,{1,2,3,4,7,8,9,10,12,13,14,15}
2: 14,4,6,{1,2,3,5,7,8,9,10,11,12,13,15}
2: 14,6,10,{1,2,3,4,5,7,8,9,11,12,13,15}
2: 11,8,6,{1,2,3,4,5,7,9,10,12,13,14,15}
2: 4,5,3,{1,2,6,7,8,9,10,11,12,13,14,15}
2: 5,11,4,{1,2,3,6,7,8,9,10,12,13,14,15}
2: 14,11,6,{1,2,3,4,5,7,8,9,10,12,13,15}
2: 1,4,6,{2,3,5,7,8,9,10,11,12,13,14,15}
2: 4,8,6,{1,2,3,5,7,9,10,11,12,13,14,15}
2: 4,6,11,{1,2,3,5,7,8,9,10,12,13,14,15}
2: 11,6,5,{1,2,3,4,7,8,9,10,12,13,14,15}
2: 6,11,15,{1,2,3,4,5,7,8,9,10,12,13,14}
2: 2,10,9,{1,3,4,5,6,7,8,11,12,13,14,15}
2: 4,8,11,{1,2,3,5,6,7,9,10,12,13,14,15}
2: 11,6,12,{1,2,3,4,5,7,8,9,10,13,14,15}
2: 6,3,5,{1,2,4,7,8,9,10,11,12,13,14,15}
2: 4,14,11,{1,2,3,5,6,7,8,9,10,12,13,15}
2: 8,9,12,{1,2,3,4,5,6,7,10,11,13,14,15}
2: 5,11,8,{1,2,3,4,6,7,9,10,12,13,14,15}
2: 6,11,12,{1,2,3,4,5,7,8,9,10,13,14,15}
2: 8,11,14,{1,2,3,4,5,6,7,9,10,12,13,15}
2: 8,6,5,{1,2,3,4,7,9,10,11,12,13,14,15}
2: 11,12,14,{1,2,3,4,5,6,7,8,9,10,13,15}
2: 7,10,6,{1,2,3,4,5,8,9,11,12,13,14,15}
2: 1,2,7,{3,4,5,6,8,9,10,11,12,13,14,15}
2: 6,5,11,{1,2,3,4,7,8,9,10,12,13,14,15}
2: 8,5,11,{1,2,3,4,6,7,9,10,12,13,14,15}
2: 5,6,14,{1,2,3,4,7,8,9,10,11,12,13,15}
2: 11,5,3,{1,2,4,6,7,8,9,10,12,13,14,15}
2: 1,13,3,{2,4,5,6,7,8,9,10,11,12,14,15}
2: 6,4,12,{1,2,3,5,7,8,9,10,11,13,14,15}
2: 4,6,3,{1,2,5,7,8,9,10,11,12,13,14,15}
2: 2,9,10,{1,3,4,5,6,7,8,11,12,13,14,15}
2: 14,6,8,{1,2,3,4,5,7,9,10,11,12,13,15}
2: 2,5,10,{1,3,4,6,7,8,9,11,12,13,14,15}
2: 5,6,11,{1,2,3,4,7,8,9,10,12,13,14,15}
2: 11,4,8,{1,2,3,5,6,7,9,10,12,13,14,15}
2: 12,14,{1,2,3,4,5,6,7,8,9,10,11,13,15}
2: 6,12,{1,2,3,4,5,7,8,9,10,11,13,14,15}
2: 5,8,{1,2,3,4,6,7,9,10,11,12,13,14,15}
2: 3,8,{1,2,4,5,6,7,9,10,11,12,13,14,15}
2: 4,6,{1,2,3,5,7,8,9,10,11,12,13,14,15}
2: 11,8,{1,2,3,4,5,6,7,9,10,12,13,14,15}
2: 12,8,{1,2,3,4,5,6,7,9,10,11,13,14,15}
2: 11,7,{1,2,3,4,5,6,8,9,10,12,13,14,15}
2: 14,5,{1,2,3,4,6,7,8,9,10,11,12,13,15}
2: 5,11,{1,2,3,4,6,7,8,9,10,12,13,14,15}
2: 4,11,{1,2,3,5,6,7,8,9,10,12,13,14,15}
2: 1,6,{2,3,4,5,7,8,9,10,11,12,13,14,15}
2: 10,{1,2,3,4,5,6,7,8,9,11,12,13,14,15}
1: 1,15,4,6,7,8,3,2,9,10,13,11,14,12,5
1: 1,4,6,11,12,13,15,8,14,7,5,2,9,10,3
1: 6,5,8,3,13,7,15,14,12,1,11,9,10,4,2
1: 7,4,6,10,15,14,11,13,8,3,12,1,5,2,9
1: 4,5,6,8,11,14,15,13,12,3,1,2,7,9,10
1: 5,6,1,7,8,15,13,11,12,4,3,9,14,2,10
1: 15,11,4,2,6,8,14,13,12,1,3,5,7,10,9
1: 4,6,5,2,1,13,12,11,7,3,8,9,10,14,15
1: 8,4,12,14,15,3,6,5,1,2,7,9,10,11,13
1: 6,4,8,11,12,13,10,5,7,14,15,1,9,2,3
1: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15
1: 8,4,3,6,1,2,5,7,13,11,10,15,14,9,12
1: 11,6,8,3,4,13,14,15,12,7,2,1,9,10,5
1: 5,11,8,6,1,7,2,4,3,9,10,14,15,13,12
1: 4,1,6,9,11,3,5,2,7,10,12,14,15,13,8
1: 6,1,8,2,5,3,4,7,9,12,15,13,10,11,14
1: 4,6,11,1,13,15,14,7,5,3,2,12,8,9,10
1: 7,4,3,1,6,13,14,15,5,2,8,9,10,12,11
1: 6,7,2,9,10,15,1,3,12,14,13,4,11,5,8
1: 4,2,7,8,5,13,14,9,10,3,1,6,15,11,12
1: 2,3,1,7,8,9,13,5,12,15,10,14,4,11,6
1: 5,7,8,11,14,13,4,1,15,12,6,3,9,10,2
1: 14,12,15,4,8,7,13,10,1,3,6,5,2,11,9
1: 5,12,9,2,1,15,8,6,7,13,10,3,14,4,11
1: 11,1,4,7,5,8,9,12,10,3,2,14,15,6,13
1: 8,6,4,11,5,1,15,14,13,12,10,9,2,3,7
1: 4,6,7,10,14,11,3,5,8,9,12,13,15,1,2
1: 5,8,1,11,12,13,9,2,3,14,7,10,4,6,15
1: 11,10,7,2,6,14,15,12,13,9,1,8,5,3,4
1: 6,3,5,9,10,4,7,8,11,13,15,14,2,12,1
1: 4,8,3,6,11,9,14,15,2,1,5,13,7,12,10
1: 4,6,11,12,14,10,8,5,13,7,15,3,2,1,9
1: 4,11,8,5,6,3,7,14,15,13,12,10,9,{1,2}
1: 6,4,3,1,7,8,5,9,14,12,10,11,{2,13,15}
1: 4,6,5,11,7,10,12,13,8,9,14,15,{1,2,3}
1: 12,6,5,4,11,7,10,13,8,9,14,15,{1,2,3}
1: 8,5,4,6,1,11,14,7,10,3,9,15,{2,12,13}
1: 6,4,11,10,5,12,13,14,15,7,9,8,{1,2,3}
1: 6,5,4,11,7,10,12,13,14,9,8,15,{1,2,3}
1: 6,5,11,7,4,10,12,13,8,9,14,15,{1,2,3}
1: 10,14,15,11,9,4,5,6,7,12,13,{1,2,3,8}
1: 4,5,6,11,14,12,8,7,15,3,10,{1,2,9,13}
1: 6,4,11,7,10,12,13,8,9,14,15,{1,2,3,5}
1: 14,6,11,15,8,7,4,12,5,13,9,{1,2,3,10}
1: 6,8,4,14,12,5,11,15,9,7,{1,2,3,10,13}
1: 6,7,4,3,5,2,14,8,1,15,{9,10,11,12,13}
1: 6,9,10,3,4,1,7,11,13,8,{2,5,12,14,15}
1: 6,14,12,10,8,9,11,1,4,13,{2,3,5,7,15}
1: 6,5,11,2,10,3,7,13,4,1,{8,9,12,14,15}
1: 6,4,11,7,10,12,13,8,9,14,{1,2,3,5,15}
1: 6,5,3,8,13,9,14,10,7,1,{2,4,11,12,15}
1: 5,14,4,6,15,8,11,12,3,{1,2,7,9,10,13}
1: 6,8,11,4,3,13,14,12,15,{1,2,5,7,9,10}
1: 6,11,8,12,5,4,1,13,14,{2,3,7,9,10,15}
1: 6,4,8,11,7,5,14,10,3,{1,2,9,12,13,15}
1: 6,5,4,11,7,10,12,13,8,{1,2,3,9,14,15}
1: 11,6,12,14,1,3,4,7,13,{2,5,8,9,10,15}
1: 6,2,3,5,4,8,1,7,13,{9,10,11,12,14,15}
1: 5,8,11,13,6,15,1,7,3,{2,4,9,10,12,14}
1: 4,6,8,11,12,13,3,5,14,{1,2,7,9,10,15}
1: 6,7,11,10,2,13,3,1,9,{4,5,8,12,14,15}
1: 8,4,11,5,6,12,14,15,9,{1,2,3,7,10,13}
1: 5,4,6,11,13,1,3,8,{2,7,9,10,12,14,15}
1: 8,5,6,4,11,12,10,13,{1,2,3,7,9,14,15}
1: 14,6,8,5,4,11,3,12,{1,2,7,9,10,13,15}
1: 2,7,10,9,13,3,8,6,{1,4,5,11,12,14,15}
1: 6,4,8,5,11,12,14,15,{1,2,3,7,9,10,13}
1: 6,5,11,12,14,13,4,15,{1,2,3,7,8,9,10}
1: 6,10,2,11,7,14,12,13,{1,3,4,5,8,9,15}
1: 6,4,8,7,5,3,14,15,{1,2,9,10,11,12,13}
1: 1,2,3,7,8,15,10,13,{4,5,6,9,11,12,14}
1: 6,5,8,11,14,15,9,4,{1,2,3,7,10,12,13}
1: 11,5,6,4,8,3,13,14,{1,2,7,9,10,12,15}
1: 4,11,15,8,6,5,3,10,{1,2,7,9,12,13,14}
1: 14,6,4,11,10,5,8,1,{2,3,7,9,12,13,15}
1: 4,6,11,1,8,13,2,14,{3,5,7,9,10,12,15}
1: 6,4,5,11,14,8,15,12,{1,2,3,7,9,10,13}
1: 6,4,11,5,12,14,15,13,{1,2,3,7,8,9,10}
1: 8,11,6,5,14,3,15,12,{1,2,4,7,9,10,13}
1: 4,13,3,5,7,10,11,14,{1,2,6,8,9,12,15}
1: 11,8,5,6,14,12,1,4,{2,3,7,9,10,13,15}
1: 4,9,15,1,3,2,5,7,{6,8,10,11,12,13,14}
1: 11,6,8,3,4,5,13,14,{1,2,7,9,10,12,15}
1: 11,4,6,1,7,10,5,14,{2,3,8,9,12,13,15}
1: 8,11,5,4,6,9,14,15,{1,2,3,7,10,12,13}
1: 10,14,4,5,7,6,8,11,{1,2,3,9,12,13,15}
1: 7,11,12,3,4,6,5,8,{1,2,9,10,13,14,15}
1: 3,13,1,7,15,2,9,10,{4,5,6,8,11,12,14}
1: 1,6,2,15,11,7,3,10,{4,5,8,9,12,13,14}
1: 9,8,11,14,3,4,10,{1,2,5,6,7,12,13,15}
1: 11,4,5,6,14,3,12,{1,2,7,8,9,10,13,15}
1: 4,13,5,1,11,3,8,{2,6,7,9,10,12,14,15}
1: 6,7,10,3,12,2,1,{4,5,8,9,11,13,14,15}
1: 6,5,8,9,12,11,13,{1,2,3,4,7,10,14,15}
1: 7,6,2,5,4,8,14,{1,3,9,10,11,12,13,15}
1: 3,4,12,13,11,8,9,{1,2,5,6,7,10,14,15}
1: 2,6,7,10,1,13,3,{4,5,8,9,11,12,14,15}
1: 2,7,12,13,9,10,6,{1,3,4,5,8,11,14,15}
1: 6,4,2,7,11,13,14,{1,3,5,8,9,10,12,15}
1: 4,6,11,5,10,12,14,{1,2,3,7,8,9,13,15}
1: 6,9,7,13,15,14,8,{1,2,3,4,5,10,11,12}
1: 6,11,1,3,4,8,15,{2,5,7,9,10,12,13,14}
1: 9,8,11,13,3,4,10,{1,2,5,6,7,12,14,15}
1: 8,5,3,4,9,11,14,{1,2,6,7,10,12,13,15}
1: 10,14,7,6,4,12,11,{1,2,3,5,8,9,13,15}
1: 6,7,10,12,13,3,4,{1,2,5,8,9,11,14,15}
1: 4,6,11,10,13,12,14,{1,2,3,5,7,8,9,15}
1: 11,9,7,4,3,14,12,{1,2,5,6,8,10,13,15}
1: 4,6,10,7,11,14,12,{1,2,3,5,8,9,13,15}
1: 7,1,3,2,6,13,15,{4,5,8,9,10,11,12,14}
1: 4,6,10,11,5,12,8,{1,2,3,7,9,13,14,15}
1: 13,11,1,6,8,5,10,{2,3,4,7,9,12,14,15}
1: 4,8,11,14,12,13,3,{1,2,5,6,7,9,10,15}
1: 2,7,5,1,3,10,9,{4,6,8,11,12,13,14,15}
1: 11,14,8,6,3,10,12,{1,2,4,5,7,9,13,15}
1: 6,5,4,8,9,10,11,{1,2,3,7,12,13,14,15}
1: 7,1,3,15,13,6,2,{4,5,8,9,10,11,12,14}
1: 8,5,2,6,7,9,10,{1,3,4,11,12,13,14,15}
1: 8,6,5,14,11,12,15,{1,2,3,4,7,9,10,13}
1: 4,6,8,13,15,5,10,{1,2,3,7,9,11,12,14}
1: 4,6,11,7,10,12,14,{1,2,3,5,8,9,13,15}
1: 11,6,13,12,8,14,1,{2,3,4,5,7,9,10,15}
1: 6,4,11,5,12,8,10,{1,2,3,7,9,13,14,15}
1: 8,11,4,14,5,9,3,{1,2,6,7,10,12,13,15}
1: 14,15,6,11,10,5,{1,2,3,4,7,8,9,12,13}
1: 11,8,3,5,4,6,{1,2,7,9,10,12,13,14,15}
1: 7,10,4,2,13,3,{1,5,6,8,9,11,12,14,15}
1: 14,12,8,6,1,10,{2,3,4,5,7,9,11,13,15}
1: 5,6,11,4,14,8,{1,2,3,7,9,10,12,13,15}
1: 4,5,6,7,11,14,{1,2,3,8,9,10,12,13,15}
1: 6,11,13,4,14,8,{1,2,3,5,7,9,10,12,15}
1: 6,5,4,11,7,3,{1,2,8,9,10,12,13,14,15}
1: 6,5,4,11,8,12,{1,2,3,7,9,10,13,14,15}
1: 7,2,3,1,13,15,{4,5,6,8,9,10,11,12,14}
1: 4,6,1,11,3,5,{2,7,8,9,10,12,13,14,15}
1: 6,5,8,9,3,2,{1,4,7,10,11,12,13,14,15}
1: 1,9,10,13,3,5,{2,4,6,7,8,11,12,14,15}
1: 4,8,6,1,14,11,{2,3,5,7,9,10,12,13,15}
1: 11,15,14,12,8,6,{1,2,3,4,5,7,9,10,13}
1: 2,7,1,6,10,15,{3,4,5,8,9,11,12,13,14}
1: 4,12,6,1,3,13,{2,5,7,8,9,10,11,14,15}
1: 1,4,6,13,11,14,{2,3,5,7,8,9,10,12,15}
1: 5,8,11,14,7,6,{1,2,3,4,9,10,12,13,15}
1: 6,4,11,3,12,13,{1,2,5,7,8,9,10,14,15}
1: 1,9,2,3,6,5,{4,7,8,10,11,12,13,14,15}
1: 8,5,11,12,6,4,{1,2,3,7,9,10,13,14,15}
1: 14,6,8,11,4,3,{1,2,5,7,9,10,12,13,15}
1: 2,7,1,3,10,13,{4,5,6,8,9,11,12,14,15}
1: 11,8,15,14,3,6,{1,2,4,5,7,9,10,12,13}
1: 7,8,2,13,6,3,{1,4,5,9,10,11,12,14,15}
1: 14,8,11,3,4,6,{1,2,5,7,9,10,12,13,15}
1: 8,7,2,1,15,11,{3,4,5,6,9,10,12,13,14}
1: 4,8,6,5,11,14,{1,2,3,7,9,10,12,13,15}
1: 14,1,11,6,8,10,{2,3,4,5,7,9,12,13,15}
1: 8,5,11,4,12,14,{1,2,3,6,7,9,10,13,15}
1: 6,12,8,4,11,14,{1,2,3,5,7,9,10,13,15}
1: 13,1,3,7,15,2,{4,5,6,8,9,10,11,12,14}
1: 4,5,6,8,3,11,{1,2,7,9,10,12,13,14,15}
1: 11,14,6,5,8,4,{1,2,3,7,9,10,12,13,15}
1: 4,1,6,11,2,8,{3,5,7,9,10,12,13,14,15}
1: 6,11,2,1,13,3,{4,5,7,8,9,10,12,14,15}
1: 8,5,11,13,6,1,{2,3,4,7,9,10,12,14,15}
1: 5,8,7,10,3,11,{1,2,4,6,9,12,13,14,15}
1: 6,8,4,3,11,14,{1,2,5,7,9,10,12,13,15}
1: 9,8,11,14,3,4,{1,2,5,6,7,10,12,13,15}
1: 11,5,8,3,4,14,{1,2,6,7,9,10,12,13,15}
1: 4,8,3,5,11,14,{1,2,6,7,9,10,12,13,15}
1: 4,5,6,11,12,15,{1,2,3,7,8,9,10,13,14}
1: 5,6,14,11,12,8,{1,2,3,4,7,9,10,13,15}
1: 4,6,11,8,7,1,{2,3,5,9,10,12,13,14,15}
1: 7,1,2,3,10,9,{4,5,6,8,11,12,13,14,15}
1: 6,5,1,4,11,2,{3,7,8,9,10,12,13,14,15}
1: 8,11,6,3,4,14,{1,2,5,7,9,10,12,13,15}
1: 6,11,4,10,14,5,{1,2,3,7,8,9,12,13,15}
1: 1,3,5,13,7,11,{2,4,6,8,9,10,12,14,15}
1: 6,11,2,13,15,8,{1,3,4,5,7,9,10,12,14}
1: 5,8,11,2,6,14,{1,3,4,7,9,10,12,13,15}
1: 6,13,12,11,9,15,{1,2,3,4,5,7,8,10,14}
1: 13,3,7,15,1,9,{2,4,5,6,8,10,11,12,14}
1: 6,5,3,4,8,13,{1,2,7,9,10,11,12,14,15}
1: 8,5,9,6,4,14,{1,2,3,7,10,11,12,13,15}
1: 8,6,3,11,14,{1,2,4,5,7,9,10,12,13,15}
1: 14,11,4,5,8,{1,2,3,6,7,9,10,12,13,15}
1: 5,11,4,13,6,{1,2,3,7,8,9,10,12,14,15}
1: 8,5,4,11,6,{1,2,3,7,9,10,12,13,14,15}
1: 6,11,3,12,7,{1,2,4,5,8,9,10,13,14,15}
1: 4,6,7,5,11,{1,2,3,8,9,10,12,13,14,15}
1: 10,6,4,11,12,{1,2,3,5,7,8,9,13,14,15}
1: 12,8,6,11,5,{1,2,3,4,7,9,10,13,14,15}
1: 3,1,7,13,15,{2,4,5,6,8,9,10,11,12,14}
1: 8,9,11,5,6,{1,2,3,4,7,10,12,13,14,15}
1: 4,5,6,11,14,{1,2,3,7,8,9,10,12,13,15}
1: 2,13,9,10,7,{1,3,4,5,6,8,11,12,14,15}
1: 6,4,10,11,7,{1,2,3,5,8,9,12,13,14,15}
1: 4,11,8,6,5,{1,2,3,7,9,10,12,13,14,15}
1: 3,2,7,15,13,{1,4,5,6,8,9,10,11,12,14}
1: 4,11,6,5,14,{1,2,3,7,8,9,10,12,13,15}
1: 14,11,4,7,2,{1,3,5,6,8,9,10,12,13,15}
1: 4,6,11,1,7,{2,3,5,8,9,10,12,13,14,15}
1: 6,4,8,11,5,{1,2,3,7,9,10,12,13,14,15}
1: 5,6,3,11,12,{1,2,4,7,8,9,10,13,14,15}
1: 6,4,8,11,14,{1,2,3,5,7,9,10,12,13,15}
1: 11,13,12,6,14,{1,2,3,4,5,7,8,9,10,15}
1: 6,8,9,5,11,{1,2,3,4,7,10,12,13,14,15}
1: 11,13,12,2,14,{1,3,4,5,6,7,8,9,10,15}
1: 12,11,8,6,4,{1,2,3,5,7,9,10,13,14,15}
1: 14,3,8,10,13,{1,2,4,5,6,7,9,11,12,15}
1: 15,3,13,7,10,{1,2,4,5,6,8,9,11,12,14}
1: 4,3,5,8,14,{1,2,6,7,9,10,11,12,13,15}
1: 11,8,4,3,5,{1,2,6,7,9,10,12,13,14,15}
1: 8,5,12,4,6,{1,2,3,7,9,10,11,13,14,15}
1: 6,4,3,1,13,{2,5,7,8,9,10,11,12,14,15}
1: 4,12,8,5,11,{1,2,3,6,7,9,10,13,14,15}
1: 8,11,5,9,6,{1,2,3,4,7,10,12,13,14,15}
1: 4,11,5,14,6,{1,2,3,7,8,9,10,12,13,15}
1: 4,6,8,11,14,{1,2,3,5,7,9,10,12,13,15}
1: 4,6,11,8,5,{1,2,3,7,9,10,12,13,14,15}
1: 2,6,7,10,9,{1,3,4,5,8,11,12,13,14,15}
1: 6,13,4,3,5,{1,2,7,8,9,10,11,12,14,15}
1: 8,4,5,11,14,{1,2,3,6,7,9,10,12,13,15}
1: 8,2,7,10,9,{1,3,4,5,6,11,12,13,14,15}
1: 7,15,1,3,13,{2,4,5,6,8,9,10,11,12,14}
1: 11,14,6,5,8,{1,2,3,4,7,9,10,12,13,15}
1: 1,13,5,4,6,{2,3,7,8,9,10,11,12,14,15}
1: 7,1,2,8,3,{4,5,6,9,10,11,12,13,14,15}
1: 1,6,8,9,15,{2,3,4,5,7,10,11,12,13,14}
1: 5,6,4,11,8,{1,2,3,7,9,10,12,13,14,15}
1: 12,3,4,6,13,{1,2,5,7,8,9,10,11,14,15}
1: 6,7,2,10,9,{1,3,4,5,8,11,12,13,14,15}
1: 2,7,10,9,8,{1,3,4,5,6,11,12,13,14,15}
1: 2,7,9,1,3,{4,5,6,8,10,11,12,13,14,15}
1: 5,11,6,8,1,{2,3,4,7,9,10,12,13,14,15}
1: 4,5,6,13,14,{1,2,3,7,8,9,10,11,12,15}
1: 6,5,4,8,11,{1,2,3,7,9,10,12,13,14,15}
1: 8,5,9,3,11,{1,2,4,6,7,10,12,13,14,15}
1: 7,15,3,1,2,{4,5,6,8,9,10,11,12,13,14}
1: 1,10,2,3,7,{4,5,6,8,9,11,12,13,14,15}
1: 4,6,11,1,3,{2,5,7,8,9,10,12,13,14,15}
1: 6,11,4,14,12,{1,2,3,5,7,8,9,10,13,15}
1: 5,11,15,14,8,{1,2,3,4,6,7,9,10,12,13}
1: 13,8,4,6,1,{2,3,5,7,9,10,11,12,14,15}
1: 6,8,4,14,11,{1,2,3,5,7,9,10,12,13,15}
1: 15,14,11,3,4,{1,2,5,6,7,8,9,10,12,13}
1: 2,13,6,3,8,{1,4,5,7,9,10,11,12,14,15}
1: 10,14,6,11,4,{1,2,3,5,7,8,9,12,13,15}
1: 6,5,8,4,11,{1,2,3,7,9,10,12,13,14,15}
1: 4,11,6,10,15,{1,2,3,5,7,8,9,12,13,14}
1: 14,11,4,5,13,{1,2,3,6,7,8,9,10,12,15}
1: 5,6,15,8,11,{1,2,3,4,7,9,10,12,13,14}
1: 9,12,6,8,2,{1,3,4,5,7,10,11,13,14,15}
1: 6,8,4,11,13,{1,2,3,5,7,9,10,12,14,15}
1: 1,3,2,15,6,{4,5,7,8,9,10,11,12,13,14}
1: 11,12,5,6,15,{1,2,3,4,7,8,9,10,13,14}
1: 3,11,6,10,14,{1,2,4,5,7,8,9,12,13,15}
1: 3,14,5,10,13,{1,2,4,6,7,8,9,11,12,15}
1: 5,6,14,8,7,{1,2,3,4,9,10,11,12,13,15}
1: 11,8,6,10,12,{1,2,3,4,5,7,9,13,14,15}
1: 8,5,11,9,6,{1,2,3,4,7,10,12,13,14,15}
1: 8,6,14,3,4,{1,2,5,7,9,10,11,12,13,15}
1: 6,11,5,3,14,{1,2,4,7,8,9,10,12,13,15}
1: 2,7,9,13,10,{1,3,4,5,6,8,11,12,14,15}
1: 9,6,12,14,8,{1,2,3,4,5,7,10,11,13,15}
1: 5,8,14,1,11,{2,3,4,6,7,9,10,12,13,15}
1: 4,6,8,14,11,{1,2,3,5,7,9,10,12,13,15}
1: 6,4,11,12,8,{1,2,3,5,7,9,10,13,14,15}
1: 5,11,8,4,6,{1,2,3,7,9,10,12,13,14,15}
1: 4,3,6,8,11,{1,2,5,7,9,10,12,13,14,15}
1: 11,4,6,3,14,{1,2,5,7,8,9,10,12,13,15}
1: 14,12,8,11,10,{1,2,3,4,5,6,7,9,13,15}
1: 1,13,2,3,7,{4,5,6,8,9,10,11,12,14,15}
1: 8,4,6,14,15,{1,2,3,5,7,9,10,11,12,13}
1: 15,7,2,11,10,{1,3,4,5,6,8,9,12,13,14}
1: 5,8,11,6,12,{1,2,3,4,7,9,10,13,14,15}
1: 5,11,8,4,3,{1,2,6,7,9,10,12,13,14,15}
1: 6,5,8,11,14,{1,2,3,4,7,9,10,12,13,15}
1: 7,6,10,11,1,{2,3,4,5,8,9,12,13,14,15}
1: 4,5,8,3,11,{1,2,6,7,9,10,12,13,14,15}
1: 1,2,3,6,10,{4,5,7,8,9,11,12,13,14,15}
1: 6,4,12,11,13,{1,2,3,5,7,8,9,10,14,15}
1: 7,4,8,6,5,{1,2,3,9,10,11,12,13,14,15}
1: 6,5,11,8,4,{1,2,3,7,9,10,12,13,14,15}
1: 11,4,13,14,12,{1,2,3,5,6,7,8,9,10,15}
1: 8,12,15,6,14,{1,2,3,4,5,7,9,10,11,13}
1: 8,3,10,13,1,{2,4,5,6,7,9,11,12,14,15}
1: 4,6,12,13,{1,2,3,5,7,8,9,10,11,14,15}
1: 9,8,6,4,{1,2,3,5,7,10,11,12,13,14,15}
1: 1,3,13,4,{2,5,6,7,8,9,10,11,12,14,15}
1: 11,4,6,8,{1,2,3,5,7,9,10,12,13,14,15}
1: 5,4,8,1,{2,3,6,7,9,10,11,12,13,14,15}
1: 8,11,6,14,{1,2,3,4,5,7,9,10,12,13,15}
1: 8,11,14,12,{1,2,3,4,5,6,7,9,10,13,15}
1: 4,6,10,12,{1,2,3,5,7,8,9,11,13,14,15}
1: 12,5,8,4,{1,2,3,6,7,9,10,11,13,14,15}
1: 6,8,14,4,{1,2,3,5,7,9,10,11,12,13,15}
1: 6,3,10,4,{1,2,5,7,8,9,11,12,13,14,15}
1: 4,8,2,7,{1,3,5,6,9,10,11,12,13,14,15}
1: 6,12,8,3,{1,2,4,5,7,9,10,11,13,14,15}
1: 8,6,4,3,{1,2,5,7,9,10,11,12,13,14,15}
1: 4,1,6,11,{2,3,5,7,8,9,10,12,13,14,15}
1: 6,10,14,8,{1,2,3,4,5,7,9,11,12,13,15}
1: 15,3,2,1,{4,5,6,7,8,9,10,11,12,13,14}
1: 6,7,3,4,{1,2,5,8,9,10,11,12,13,14,15}
1: 8,11,10,4,{1,2,3,5,6,7,9,12,13,14,15}
1: 11,5,4,6,{1,2,3,7,8,9,10,12,13,14,15}
1: 8,9,5,11,{1,2,3,4,6,7,10,12,13,14,15}
1: 12,6,1,8,{2,3,4,5,7,9,10,11,13,14,15}
1: 4,11,3,6,{1,2,5,7,8,9,10,12,13,14,15}
1: 5,8,11,12,{1,2,3,4,6,7,9,10,13,14,15}
1: 11,14,6,12,{1,2,3,4,5,7,8,9,10,13,15}
1: 11,5,12,14,{1,2,3,4,6,7,8,9,10,13,15}
1: 3,4,10,14,{1,2,5,6,7,8,9,11,12,13,15}
1: 2,3,5,11,{1,4,6,7,8,9,10,12,13,14,15}
1: 11,1,4,2,{3,5,6,7,8,9,10,12,13,14,15}
1: 4,6,1,8,{2,3,5,7,9,10,11,12,13,14,15}
1: 11,6,7,14,{1,2,3,4,5,8,9,10,12,13,15}
1: 14,11,8,12,{1,2,3,4,5,6,7,9,10,13,15}
1: 10,2,7,9,{1,3,4,5,6,8,11,12,13,14,15}
1: 6,4,3,8,{1,2,5,7,9,10,11,12,13,14,15}
1: 6,10,2,9,{1,3,4,5,7,8,11,12,13,14,15}
1: 11,4,5,12,{1,2,3,6,7,8,9,10,13,14,15}
1: 4,6,5,11,{1,2,3,7,8,9,10,12,13,14,15}
1: 6,2,13,15,{1,3,4,5,7,8,9,10,11,12,14}
1: 5,8,6,14,{1,2,3,4,7,9,10,11,12,13,15}
1: 4,6,11,13,{1,2,3,5,7,8,9,10,12,14,15}
1: 8,11,5,6,{1,2,3,4,7,9,10,12,13,14,15}
1: 8,6,11,14,{1,2,3,4,5,7,9,10,12,13,15}
1: 8,6,5,14,{1,2,3,4,7,9,10,11,12,13,15}
1: 8,11,6,12,{1,2,3,4,5,7,9,10,13,14,15}
1: 3,14,6,8,{1,2,4,5,7,9,10,11,12,13,15}
1: 1,8,4,11,{2,3,5,6,7,9,10,12,13,14,15}
1: 14,8,6,2,{1,3,4,5,7,9,10,11,12,13,15}
1: 1,14,15,11,{2,3,4,5,6,7,8,9,10,12,13}
1: 8,2,3,6,{1,4,5,7,9,10,11,12,13,14,15}
1: 2,8,15,11,{1,3,4,5,6,7,9,10,12,13,14}
1: 6,13,12,11,{1,2,3,4,5,7,8,9,10,14,15}
1: 8,11,3,14,{1,2,4,5,6,7,9,10,12,13,15}
1: 1,10,2,8,{3,4,5,6,7,9,11,12,13,14,15}
1: 6,1,7,5,{2,3,4,8,9,10,11,12,13,14,15}
1: 9,10,8,2,{1,3,4,5,6,7,11,12,13,14,15}
1: 8,6,14,12,{1,2,3,4,5,7,9,10,11,13,15}
1: 5,11,8,14,{1,2,3,4,6,7,9,10,12,13,15}
1: 6,4,13,14,{1,2,3,5,7,8,9,10,11,12,15}
1: 3,2,7,15,{1,4,5,6,8,9,10,11,12,13,14}
1: 2,6,7,10,{1,3,4,5,8,9,11,12,13,14,15}
1: 4,8,14,3,{1,2,5,6,7,9,10,11,12,13,15}
1: 3,6,4,1,{2,5,7,8,9,10,11,12,13,14,15}
1: 2,3,1,13,{4,5,6,7,8,9,10,11,12,14,15}
1: 1,6,4,11,{2,3,5,7,8,9,10,12,13,14,15}
1: 2,1,7,15,{3,4,5,6,8,9,10,11,12,13,14}
1: 7,6,12,8,{1,2,3,4,5,9,10,11,13,14,15}
1: 4,3,1,5,{2,6,7,8,9,10,11,12,13,14,15}
1: 6,8,12,11,{1,2,3,4,5,7,9,10,13,14,15}
1: 6,4,1,13,{2,3,5,7,8,9,10,11,12,14,15}
1: 8,9,11,5,{1,2,3,4,6,7,10,12,13,14,15}
1: 6,5,4,13,{1,2,3,7,8,9,10,11,12,14,15}
1: 5,4,11,15,{1,2,3,6,7,8,9,10,12,13,14}
1: 6,5,8,4,{1,2,3,7,9,10,11,12,13,14,15}
1: 2,10,7,9,{1,3,4,5,6,8,11,12,13,14,15}
1: 8,6,11,9,{1,2,3,4,5,7,10,12,13,14,15}
1: 4,7,9,15,{1,2,3,5,6,8,10,11,12,13,14}
1: 4,5,6,11,{1,2,3,7,8,9,10,12,13,14,15}
1: 6,4,14,11,{1,2,3,5,7,8,9,10,12,13,15}
1: 8,5,11,14,{1,2,3,4,6,7,9,10,12,13,15}
1: 4,6,8,1,{2,3,5,7,9,10,11,12,13,14,15}
1: 11,5,14,4,{1,2,3,6,7,8,9,10,12,13,15}
1: 7,10,6,4,{1,2,3,5,8,9,11,12,13,14,15}
1: 13,11,6,5,{1,2,3,4,7,8,9,10,12,14,15}
1: 13,11,6,15,{1,2,3,4,5,7,8,9,10,12,14}
1: 6,8,9,10,{1,2,3,4,5,7,11,12,13,14,15}
1: 4,8,6,11,{1,2,3,5,7,9,10,12,13,14,15}
1: 4,6,1,11,{2,3,5,7,8,9,10,12,13,14,15}
1: 8,6,5,9,{1,2,3,4,7,10,11,12,13,14,15}
1: 8,3,13,10,{1,2,4,5,6,7,9,11,12,14,15}
1: 2,1,4,13,{3,5,6,7,8,9,10,11,12,14,15}
1: 14,8,10,6,{1,2,3,4,5,7,9,11,12,13,15}
1: 4,11,8,6,{1,2,3,5,7,9,10,12,13,14,15}
1: 11,6,4,3,{1,2,5,7,8,9,10,12,13,14,15}
1: 11,6,5,14,{1,2,3,4,7,8,9,10,12,13,15}
1: 1,4,5,13,{2,3,6,7,8,9,10,11,12,14,15}
1: 6,14,11,1,{2,3,4,5,7,8,9,10,12,13,15}
1: 11,8,5,6,{1,2,3,4,7,9,10,12,13,14,15}
1: 4,11,14,8,{1,2,3,5,6,7,9,10,12,13,15}
1: 4,14,11,8,{1,2,3,5,6,7,9,10,12,13,15}
1: 11,5,6,8,{1,2,3,4,7,9,10,12,13,14,15}
1: 11,6,4,8,{1,2,3,5,7,9,10,12,13,14,15}
1: 8,14,13,6,{1,2,3,4,5,7,9,10,11,12,15}
1: 1,2,15,9,{3,4,5,6,7,8,10,11,12,13,14}
1: 4,5,7,11,{1,2,3,6,8,9,10,12,13,14,15}
1: 4,6,11,10,{1,2,3,5,7,8,9,12,13,14,15}
1: 5,6,8,14,{1,2,3,4,7,9,10,11,12,13,15}
1: 11,12,8,6,{1,2,3,4,5,7,9,10,13,14,15}
1: 4,6,11,14,{1,2,3,5,7,8,9,10,12,13,15}
1: 6,4,11,7,{1,2,3,5,8,9,10,12,13,14,15}
1: 5,6,11,12,{1,2,3,4,7,8,9,10,13,14,15}
1: 5,8,12,11,{1,2,3,4,6,7,9,10,13,14,15}
1: 7,2,8,10,{1,3,4,5,6,9,11,12,13,14,15}
1: 14,6,4,3,{1,2,5,7,8,9,10,11,12,13,15}
1: 4,9,12,14,{1,2,3,5,6,7,8,10,11,13,15}
1: 4,8,14,1,{2,3,5,6,7,9,10,11,12,13,15}
1: 6,8,4,11,{1,2,3,5,7,9,10,12,13,14,15}
1: 6,4,8,12,{1,2,3,5,7,9,10,11,13,14,15}
1: 11,4,14,6,{1,2,3,5,7,8,9,10,12,13,15}
1: 6,11,5,15,{1,2,3,4,7,8,9,10,12,13,14}
1: 4,6,8,11,{1,2,3,5,7,9,10,12,13,14,15}
1: 8,5,12,{1,2,3,4,6,7,9,10,11,13,14,15}
1: 8,11,10,{1,2,3,4,5,6,7,9,12,13,14,15}
1: 12,6,3,{1,2,4,5,7,8,9,10,11,13,14,15}
1: 6,11,5,{1,2,3,4,7,8,9,10,12,13,14,15}
1: 8,1,4,{2,3,5,6,7,9,10,11,12,13,14,15}
1: 1,3,15,{2,4,5,6,7,8,9,10,11,12,13,14}
1: 9,12,6,{1,2,3,4,5,7,8,10,11,13,14,15}
1: 11,3,8,{1,2,4,5,6,7,9,10,12,13,14,15}
1: 11,4,1,{2,3,5,6,7,8,9,10,12,13,14,15}
1: 14,5,11,{1,2,3,4,6,7,8,9,10,12,13,15}
1: 7,8,15,{1,2,3,4,5,6,9,10,11,12,13,14}
1: 8,3,12,{1,2,4,5,6,7,9,10,11,13,14,15}
1: 6,11,1,{2,3,4,5,7,8,9,10,12,13,14,15}
1: 14,10,8,{1,2,3,4,5,6,7,9,11,12,13,15}
1: 4,3,13,{1,2,5,6,7,8,9,10,11,12,14,15}
1: 7,13,6,{1,2,3,4,5,8,9,10,11,12,14,15}
1: 6,3,4,{1,2,5,7,8,9,10,11,12,13,14,15}
1: 5,8,9,{1,2,3,4,6,7,10,11,12,13,14,15}
1: 11,7,15,{1,2,3,4,5,6,8,9,10,12,13,14}
1: 1,3,14,{2,4,5,6,7,8,9,10,11,12,13,15}
1: 4,1,5,{2,3,6,7,8,9,10,11,12,13,14,15}
1: 8,4,11,{1,2,3,5,6,7,9,10,12,13,14,15}
1: 7,2,13,{1,3,4,5,6,8,9,10,11,12,14,15}
1: 8,13,15,{1,2,3,4,5,6,7,9,10,11,12,14}
1: 4,6,2,{1,3,5,7,8,9,10,11,12,13,14,15}
1: 5,9,11,{1,2,3,4,6,7,8,10,12,13,14,15}
1: 7,8,12,{1,2,3,4,5,6,9,10,11,13,14,15}
1: 4,11,12,{1,2,3,5,6,7,8,9,10,13,14,15}
1: 8,4,5,{1,2,3,6,7,9,10,11,12,13,14,15}
1: 6,10,2,{1,3,4,5,7,8,9,11,12,13,14,15}
1: 9,10,2,{1,3,4,5,6,7,8,11,12,13,14,15}
1: 7,5,12,{1,2,3,4,6,8,9,10,11,13,14,15}
1: 15,7,2,{1,3,4,5,6,8,9,10,11,12,13,14}
1: 1,8,5,{2,3,4,6,7,9,10,11,12,13,14,15}
1: 14,6,7,{1,2,3,4,5,8,9,10,11,12,13,15}
1: 11,2,6,{1,3,4,5,7,8,9,10,12,13,14,15}
1: 10,7,2,{1,3,4,5,6,8,9,11,12,13,14,15}
1: 4,6,12,{1,2,3,5,7,8,9,10,11,13,14,15}
1: 8,5,14,{1,2,3,4,6,7,9,10,11,12,13,15}
1: 15,6,7,{1,2,3,4,5,8,9,10,11,12,13,14}
1: 8,14,10,{1,2,3,4,5,6,7,9,11,12,13,15}
1: 12,3,8,{1,2,4,5,6,7,9,10,11,13,14,15}
1: 12,8,6,{1,2,3,4,5,7,9,10,11,13,14,15}
1: 6,5,8,{1,2,3,4,7,9,10,11,12,13,14,15}
1: 7,10,8,{1,2,3,4,5,6,9,11,12,13,14,15}
1: 15,12,6,{1,2,3,4,5,7,8,9,10,11,13,14}
1: 12,8,13,{1,2,3,4,5,6,7,9,10,11,14,15}
1: 12,9,8,{1,2,3,4,5,6,7,10,11,13,14,15}
1: 1,11,13,{2,3,4,5,6,7,8,9,10,12,14,15}
1: 3,6,4,{1,2,5,7,8,9,10,11,12,13,14,15}
1: 12,8,4,{1,2,3,5,6,7,9,10,11,13,14,15}
1: 6,8,1,{2,3,4,5,7,9,10,11,12,13,14,15}
1: 12,6,8,{1,2,3,4,5,7,9,10,11,13,14,15}
1: 3,6,7,{1,2,4,5,8,9,10,11,12,13,14,15}
1: 3,11,8,{1,2,4,5,6,7,9,10,12,13,14,15}
1: 4,8,5,{1,2,3,6,7,9,10,11,12,13,14,15}
1: 11,6,14,{1,2,3,4,5,7,8,9,10,12,13,15}
1: 11,3,5,{1,2,4,6,7,8,9,10,12,13,14,15}
1: 6,13,5,{1,2,3,4,7,8,9,10,11,12,14,15}
1: 3,4,10,{1,2,5,6,7,8,9,11,12,13,14,15}
1: 5,7,11,{1,2,3,4,6,8,9,10,12,13,14,15}
1: 8,12,3,{1,2,4,5,6,7,9,10,11,13,14,15}
1: 10,11,14,{1,2,3,4,5,6,7,8,9,12,13,15}
1: 13,6,3,{1,2,4,5,7,8,9,10,11,12,14,15}
1: 11,15,6,{1,2,3,4,5,7,8,9,10,12,13,14}
1: 5,11,15,{1,2,3,4,6,7,8,9,10,12,13,14}
1: 8,10,12,{1,2,3,4,5,6,7,9,11,13,14,15}
1: 11,5,8,{1,2,3,4,6,7,9,10,12,13,14,15}
1: 7,4,2,{1,3,5,6,8,9,10,11,12,13,14,15}
1: 6,14,11,{1,2,3,4,5,7,8,9,10,12,13,15}
1: 3,6,11,{1,2,4,5,7,8,9,10,12,13,14,15}
1: 7,11,14,{1,2,3,4,5,6,8,9,10,12,13,15}
1: 2,6,10,{1,3,4,5,7,8,9,11,12,13,14,15}
1: 7,2,6,{1,3,4,5,8,9,10,11,12,13,14,15}
1: 11,6,8,{1,2,3,4,5,7,9,10,12,13,14,15}
1: 6,12,8,{1,2,3,4,5,7,9,10,11,13,14,15}
1: 4,13,3,{1,2,5,6,7,8,9,10,11,12,14,15}
1: 6,14,8,{1,2,3,4,5,7,9,10,11,12,13,15}
1: 11,8,5,{1,2,3,4,6,7,9,10,12,13,14,15}
1: 15,7,14,{1,2,3,4,5,6,8,9,10,11,12,13}
1: 8,11,6,{1,2,3,4,5,7,9,10,12,13,14,15}
1: 4,8,12,{1,2,3,5,6,7,9,10,11,13,14,15}
1: 14,10,11,{1,2,3,4,5,6,7,8,9,12,13,15}
1: 7,5,8,{1,2,3,4,6,9,10,11,12,13,14,15}
1: 14,4,5,{1,2,3,6,7,8,9,10,11,12,13,15}
1: 8,7,11,{1,2,3,4,5,6,9,10,12,13,14,15}
1: 15,8,6,{1,2,3,4,5,7,9,10,11,12,13,14}
1: 7,1,4,{2,3,5,6,8,9,10,11,12,13,14,15}
1: 5,14,4,{1,2,3,6,7,8,9,10,11,12,13,15}
1: 11,8,12,{1,2,3,4,5,6,7,9,10,13,14,15}
1: 2,13,7,{1,3,4,5,6,8,9,10,11,12,14,15}
1: 2,1,4,{3,5,6,7,8,9,10,11,12,13,14,15}
1: 7,1,2,{3,4,5,6,8,9,10,11,12,13,14,15}
1: 14,11,4,{1,2,3,5,6,7,8,9,10,12,13,15}
1: 1,8,12,{2,3,4,5,6,7,9,10,11,13,14,15}
1: 3,9,13,{1,2,4,5,6,7,8,10,11,12,14,15}
1: 10,5,6,{1,2,3,4,7,8,9,11,12,13,14,15}
1: 11,14,4,{1,2,3,5,6,7,8,9,10,12,13,15}
1: 2,1,10,{3,4,5,6,7,8,9,11,12,13,14,15}
1: 6,2,5,{1,3,4,7,8,9,10,11,12,13,14,15}
1: 8,11,4,{1,2,3,5,6,7,9,10,12,13,14,15}
1: 2,9,6,{1,3,4,5,7,8,10,11,12,13,14,15}
1: 8,7,6,{1,2,3,4,5,9,10,11,12,13,14,15}
1: 6,1,7,{2,3,4,5,8,9,10,11,12,13,14,15}
1: 4,11,14,{1,2,3,5,6,7,8,9,10,12,13,15}
1: 8,3,7,{1,2,4,5,6,9,10,11,12,13,14,15}
1: 11,8,2,{1,3,4,5,6,7,9,10,12,13,14,15}
1: 2,10,6,{1,3,4,5,7,8,9,11,12,13,14,15}
1: 9,6,12,{1,2,3,4,5,7,8,10,11,13,14,15}
1: 4,5,14,{1,2,3,6,7,8,9,10,11,12,13,15}
1: 4,8,1,{2,3,5,6,7,9,10,11,12,13,14,15}
1: 11,14,9,{1,2,3,4,5,6,7,8,10,12,13,15}
1: 5,8,11,{1,2,3,4,6,7,9,10,12,13,14,15}
1: 5,8,1,{2,3,4,6,7,9,10,11,12,13,14,15}
1: 7,9,10,{1,2,3,4,5,6,8,11,12,13,14,15}
1: 9,8,12,{1,2,3,4,5,6,7,10,11,13,14,15}
1: 10,2,6,{1,3,4,5,7,8,9,11,12,13,14,15}
1: 7,15,5,{1,2,3,4,6,8,9,10,11,12,13,14}
1: 13,1,6,{2,3,4,5,7,8,9,10,11,12,14,15}
1: 11,6,10,{1,2,3,4,5,7,8,9,12,13,14,15}
1: 1,3,7,{2,4,5,6,8,9,10,11,12,13,14,15}
1: 6,3,8,{1,2,4,5,7,9,10,11,12,13,14,15}
1: 12,4,13,{1,2,3,5,6,7,8,9,10,11,14,15}
1: 14,6,11,{1,2,3,4,5,7,8,9,10,12,13,15}
1: 8,6,1,{2,3,4,5,7,9,10,11,12,13,14,15}
1: 8,14,11,{1,2,3,4,5,6,7,9,10,12,13,15}
1: 1,7,15,{2,3,4,5,6,8,9,10,11,12,13,14}
1: 8,7,1,{2,3,4,5,6,9,10,11,12,13,14,15}
1: 8,1,6,{2,3,4,5,7,9,10,11,12,13,14,15}
1: 2,1,7,{3,4,5,6,8,9,10,11,12,13,14,15}
1: 4,12,5,{1,2,3,6,7,8,9,10,11,13,14,15}
1: 10,8,7,{1,2,3,4,5,6,9,11,12,13,14,15}
1: 6,1,3,{2,4,5,7,8,9,10,11,12,13,14,15}
1: 4,11,6,{1,2,3,5,7,8,9,10,12,13,14,15}
1: 4,11,8,{1,2,3,5,6,7,9,10,12,13,14,15}
1: 15,12,11,{1,2,3,4,5,6,7,8,9,10,13,14}
1: 4,5,11,{1,2,3,6,7,8,9,10,12,13,14,15}
1: 7,8,5,{1,2,3,4,6,9,10,11,12,13,14,15}
1: 8,6,15,{1,2,3,4,5,7,9,10,11,12,13,14}
1: 6,14,9,{1,2,3,4,5,7,8,10,11,12,13,15}
1: 12,2,6,{1,3,4,5,7,8,9,10,11,13,14,15}
1: 5,8,13,{1,2,3,4,6,7,9,10,11,12,14,15}
1: 5,4,3,{1,2,6,7,8,9,10,11,12,13,14,15}
1: 5,14,8,{1,2,3,4,6,7,9,10,11,12,13,15}
1: 8,1,3,{2,4,5,6,7,9,10,11,12,13,14,15}
1: 8,5,6,{1,2,3,4,7,9,10,11,12,13,14,15}
1: 8,9,5,{1,2,3,4,6,7,10,11,12,13,14,15}
1: 14,8,10,{1,2,3,4,5,6,7,9,11,12,13,15}
1: 1,3,10,{2,4,5,6,7,8,9,11,12,13,14,15}
1: 4,6,10,{1,2,3,5,7,8,9,11,12,13,14,15}
1: 11,12,6,{1,2,3,4,5,7,8,9,10,13,14,15}
1: 4,6,1,{2,3,5,7,8,9,10,11,12,13,14,15}
1: 2,8,6,{1,3,4,5,7,9,10,11,12,13,14,15}
1: 10,14,6,{1,2,3,4,5,7,8,9,11,12,13,15}
1: 8,6,2,{1,3,4,5,7,9,10,11,12,13,14,15}
1: 11,8,10,{1,2,3,4,5,6,7,9,12,13,14,15}
1: 7,15,3,{1,2,4,5,6,8,9,10,11,12,13,14}
1: 6,4,3,{1,2,5,7,8,9,10,11,12,13,14,15}
1: 12,11,5,{1,2,3,4,6,7,8,9,10,13,14,15}
1: 10,9,11,{1,2,3,4,5,6,7,8,12,13,14,15}
1: 8,14,4,{1,2,3,5,6,7,9,10,11,12,13,15}
1: 8,9,11,{1,2,3,4,5,6,7,10,12,13,14,15}
1: 7,2,9,{1,3,4,5,6,8,10,11,12,13,14,15}
1: 9,14,8,{1,2,3,4,5,6,7,10,11,12,13,15}
1: 8,11,2,{1,3,4,5,6,7,9,10,12,13,14,15}
1: 11,14,8,{1,2,3,4,5,6,7,9,10,12,13,15}
1: 13,7,6,{1,2,3,4,5,8,9,10,11,12,14,15}
1: 3,8,6,{1,2,4,5,7,9,10,11,12,13,14,15}
1: 8,5,4,{1,2,3,6,7,9,10,11,12,13,14,15}
1: 8,12,6,{1,2,3,4,5,7,9,10,11,13,14,15}
1: 13,12,4,{1,2,3,5,6,7,8,9,10,11,14,15}
1: 11,14,5,{1,2,3,4,6,7,8,9,10,12,13,15}
1: 7,6,1,{2,3,4,5,8,9,10,11,12,13,14,15}
1: 6,11,4,{1,2,3,5,7,8,9,10,12,13,14,15}
1: 14,11,12,{1,2,3,4,5,6,7,8,9,10,13,15}
1: 6,8,15,{1,2,3,4,5,7,9,10,11,12,13,14}
1: 5,7,2,{1,3,4,6,8,9,10,11,12,13,14,15}
1: 3,7,11,{1,2,4,5,6,8,9,10,12,13,14,15}
1: 12,6,1,{2,3,4,5,7,8,9,10,11,13,14,15}
1: 8,6,4,{1,2,3,5,7,9,10,11,12,13,14,15}
1: 12,14,6,{1,2,3,4,5,7,8,9,10,11,13,15}
1: 15,7,{1,2,3,4,5,6,8,9,10,11,12,13,14}
1: 15,14,{1,2,3,4,5,6,7,8,9,10,11,12,13}
1: 6,1,{2,3,4,5,7,8,9,10,11,12,13,14,15}
1: 7,2,{1,3,4,5,6,8,9,10,11,12,13,14,15}
1: 3,13,{1,2,4,5,6,7,8,9,10,11,12,14,15}
1: 13,6,{1,2,3,4,5,7,8,9,10,11,12,14,15}
1: 1,7,{2,3,4,5,6,8,9,10,11,12,13,14,15}
1: 14,12,{1,2,3,4,5,6,7,8,9,10,11,13,15}
1: 6,5,{1,2,3,4,7,8,9,10,11,12,13,14,15}
1: 6,14,{1,2,3,4,5,7,8,9,10,11,12,13,15}
1: 11,9,{1,2,3,4,5,6,7,8,10,12,13,14,15}
1: 11,6,{1,2,3,4,5,7,8,9,10,12,13,14,15}
1: 8,4,{1,2,3,5,6,7,9,10,11,12,13,14,15}
1: 7,6,{1,2,3,4,5,8,9,10,11,12,13,14,15}
1: 2,13,{1,3,4,5,6,7,8,9,10,11,12,14,15}
1: 14,4,{1,2,3,5,6,7,8,9,10,11,12,13,15}
1: 15,11,{1,2,3,4,5,6,7,8,9,10,12,13,14}
1: 11,5,{1,2,3,4,6,7,8,9,10,12,13,14,15}
1: 4,8,{1,2,3,5,6,7,9,10,11,12,13,14,15}
1: 3,2,{1,4,5,6,7,8,9,10,11,12,13,14,15}
1: 2,6,{1,3,4,5,7,8,9,10,11,12,13,14,15}
1: 6,2,{1,3,4,5,7,8,9,10,11,12,13,14,15}
1: 2,8,{1,3,4,5,6,7,9,10,11,12,13,14,15}
1: 3,1,{2,4,5,6,7,8,9,10,11,12,13,14,15}
1: 11,14,{1,2,3,4,5,6,7,8,9,10,12,13,15}
1: 12,6,{1,2,3,4,5,7,8,9,10,11,13,14,15}
1: 5,6,{1,2,3,4,7,8,9,10,11,12,13,14,15}
1: 8,1,{2,3,4,5,6,7,9,10,11,12,13,14,15}
1: 14,6,{1,2,3,4,5,7,8,9,10,11,12,13,15}
1: 12,9,{1,2,3,4,5,6,7,8,10,11,13,14,15}
1: 4,5,{1,2,3,6,7,8,9,10,11,12,13,14,15}
1: 6,13,{1,2,3,4,5,7,8,9,10,11,12,14,15}
1: 1,5,{2,3,4,6,7,8,9,10,11,12,13,14,15}
1: 13,8,{1,2,3,4,5,6,7,9,10,11,12,14,15}